- интерактивное вычисление
- Computers: interactive computing
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Mathematica — Тип Сист … Википедия
Half-Life — Разработчик Valve Corporation (Microsoft Windows) Gearbox Software (порт для PlayStation … Википедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Euphoria (язык программирования) — У этого термина существуют и другие значения, см. Euphoria. Euphoria Семантика: императивный Класс языка: процедурный Тип исполнения: интерпретация, интерп … Википедия